Convergence of Adaptive Finite Element Methods for General Second Order Linear Elliptic PDEs

We prove convergence of adaptive finite element methods (AFEM) for general (nonsymmetric) second order linear elliptic PDE, thereby extending the result of Morin et al [6, 7]. The proof relies on quasi-orthogonality, which accounts for the bilinear form not being a scalar product, together with novel error and oscillation reduction estimates, which now do not decouple. We show that AFEM is a contraction for the sum of energy error plus oscillation. Numerical experiments, including oscillatory coefficients and convection-diffusion PDE, illustrate the theory and yield optimal meshes.